projects / ostree.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abd09f0) | patch
gnomeos-install: use /bin/bash, not /bin/sh
authorDiego Escalante Urrelo <diegoe@igalia.com>
Thu, 5 Apr 2012 05:29:55 +0000 (00:29 -0500)
committerColin Walters <walters@verbum.org>
Thu, 5 Apr 2012 13:05:22 +0000 (09:05 -0400)
commit74420090864f3d7a967b49285112229b6d2bf7f5
tree7274171c202dfa067b4c9dc3ef8c148a5d646a13tree | snapshot
parentabd09f0946b60bb3118c7fdc8e946c39d23e20b8commit | diff
gnomeos-install: use /bin/bash, not /bin/sh

This scripts use bashisms, so use /bin/bash as the interpreter until
they are un-bashified.
gnomeos/gnomeos-install.sh diff | blob | history
gnomeos/gnomeos-setup.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.